Varying modal theories.
نویسندگان
چکیده
منابع مشابه
Learning Modal Theories
This paper discusses how to learn theories that are modal, concentrating on the issue of how modal hypotheses are formed. Illustrations are given to show the usefulness of the ideas for agent applications.
متن کاملModal Logic for Rewriting Theories
We view models of rewrite theories enriched with observations coalgebraically. This allows us on the one hand to use “off the shelf” logics for coalgebras to specify and, on the other hand, to verify properties of rewriting programs and to obtain results about the expressive power of such languages.
متن کاملThe Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories
This paper is concerned with the Computational complexity of the following problems for various modal logics L: (1). The L-deducibility problem: given a finite set of ~ormulas S and a formula A, determine if A is in the modal theory THL(S) formed With all theorems of the modal logic L as logical axioms and with all members of S as proper axioms. (2). The L-consistency problem: given a finite se...
متن کاملLayered Reduction for Modal Specification Theories
Modal transition systems (MTSs) are a well-known formalism used as an abstraction theory for labeled transition systems (LTSs). MTS specifications support compositionality together with a step-wise refinement methodology, and thus are useful for component-oriented design and analysis of distributed systems. This paper proposes a state-space reduction technique for such systems that are modeled ...
متن کاملModal specification theories for component-based design
Component-based software engineering has emerged as an important software engineering discipline to cope with the growing complexity of today’s software systems. Components are encapsulated software units with well-defined interfaces. A key principle of component-based development is to build larger systems by composition of smaller, less complex components. An important application area concer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1990
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635504